$\forall$${\it es}$:event\_system\{i:l\}, $a$,$b$:es{-}E(${\it es}$). $a$ c$\leq$ $b$ $\Rightarrow$ qle(es{-}time(${\it es}$; $a$); es{-}time(${\it es}$; $b$))